Mensural Discrimination of the Skulls of Arkansas Peromyscus

Twelve parameters were measured on skulls of four species of Peromyscus from Arkansas. Univariate statistical tests, multivariate analyses of variance, and principal axis factor analyses were performed on the data set and/or subsets in a search for species-level discriminating characters. Total length of skull was found to discriminate between skulls of P. maniculatis, P. leucopus, and a combined group of P. attwateri and P. gossypinus. Furthermore, the ratio of interorbital width and length of nasal bone was found to adequately discriminate between skulls of P. attwateri and P. gossypinus

Aberrant migration and surgical removal of a heartworm (Dirofilaria immitis) from the femoral artery of a cat.

A cat was evaluated for an acute-onset of right pelvic limb paresis. Thoracic radiographs revealed normal cardiac size and tortuous pulmonary arteries. Abdominal ultrasound identified a heartworm (HW) extending from the caudal abdominal aorta into the right external iliac artery and right femoral artery. The cat was HW-antigen positive. Echocardiography revealed a HW within the right branch of the main pulmonary artery and evidence of pulmonary hypertension. An agitated-saline contrast echocardiogram revealed a small right to left intracardiac shunt at the level of the atria. Surgical removal of the HW was performed with no substantial postoperative complications. There was return of blood flow and improved motor function to the limb. The cat remains mildly paretic on the affected limb with no other clinical signs

Poincaré on the Foundation of Geometry in the Understanding

This paper is about Poincaré’s view of the foundations of geometry. According to the established view, which has been inherited from the logical positivists, Poincaré, like Hilbert, held that axioms in geometry are schemata that provide implicit definitions of geometric terms, a view he expresses by stating that the axioms of geometry are “definitions in disguise.” I argue that this view does not accord well with Poincaré’s core commitment in the philosophy of geometry: the view that geometry is the study of groups of operations. In place of the established view I offer a revised view, according to which Poincaré held that axioms in geometry are in fact assertions about invariants of groups. Groups, as forms of the understanding, are prior in conception to the objects of geometry and afford the proper definition of those objects, according to Poincaré. Poincaré’s view therefore contrasts sharply with Kant’s foundation of geometry in a unique form of sensibility. According to my interpretation, axioms are not definitions in disguise because they themselves implicitly define their terms, but rather because they disguise the definitions which imply them

Where do graduates Develop their Enterprise Skills? The Value of the Contribution of Higher Education Institutions’ Context

This study investigates the value of the contribution of HEIs’ context in developing graduates enterprise skills. HEIs are under pressure to develop more enterprising graduates, particularly with the increasing numbers of graduates seeking employment and the growing dissatisfaction of employers. This study explores where graduates develop enterprise skills through investigating the impact of HE and employment contexts on their development. The paper draws on a qualitative study in the social constructionist paradigm within the pharmacy context, where interviews were conducted with pharmacy academics and employers. Results show that ability to demonstrate skills in one context does not necessarily mean ability to demonstrate them in another since the development and demonstration of enterprise skills is impacted by the contexts in which they are developed and demonstrated. The study adds value by highlighting the significant role of both HE and employment contexts in developing enterprise skills, while emphasising that these skills become more transferable through exposure to more contexts

Completeness of dagger-categories and the complex numbers

The complex numbers are an important part of quantum theory, but are difficult to motivate from a theoretical perspective. We describe a simple formal framework for theories of physics, and show that if a theory of physics presented in this manner satisfies certain completeness properties, then it necessarily includes the complex numbers as a mathematical ingredient. Central to our approach are the techniques of category theory, and we introduce a new category-theoretical tool, called the dagger-limit, which governs the way in which systems can be combined to form larger systems. These dagger-limits can be used to characterize the dagger-functor on the category of finite-dimensional Hilbert spaces, and so can be used as an equivalent definition of the inner product. One of our main results is that in a nontrivial monoidal dagger-category with all finite dagger-limits and a simple tensor unit, the semiring of scalars embeds into an involutive field of characteristic 0 and orderable fixed field.Comment: 39 pages. Accepted for publication in the Journal of Mathematical Physic

Categorical formulation of quantum algebras

We describe how dagger-Frobenius monoids give the correct categorical description of certain kinds of finite-dimensional 'quantum algebras'. We develop the concept of an involution monoid, and use it to construct a correspondence between finite-dimensional C*-algebras and certain types of dagger-Frobenius monoids in the category of Hilbert spaces. Using this technology, we recast the spectral theorems for commutative C*-algebras and for normal operators into an explicitly categorical language, and we examine the case that the results of measurements do not form finite sets, but rather objects in a finite Boolean topos. We describe the relevance of these results for topological quantum field theory.Comment: 34 pages, to appear in Communications in Mathematical Physic

Enterprise Education Competitions: A Theoretically Flawed Intervention?

The demand for including enterprise in the education system, at all levels and for all pupils is now a global phenomenon. Within this context, the use of competitions and competitive learning activities is presented as a popular and effective vehicle for learning. The purpose of this chapter is to illustrate how a realist method of enquiry – which utilises theory as the unit of analysis – can shed new light on the assumed and unintended outcomes of enterprise education competitions. The case developed here is that there are inherent flaws in assuming that competitions will ‘work’ in the ways set out in policy and guidance. Some of the most prevalent stated outcomes – that competitions will motivate and reward young people, that they will enable the development of entrepreneurial skills, and that learners will be inspired by their peers – are challenged by theory from psychology and education. The issue at stake is that the expansion of enterprise education policy into primary and secondary education increases the likelihood that more learners will be sheep dipped in competitions, and competitive activities, without a clear recognition of the potential unintended effects. In this chapter, we employ a realist-informed approach to critically evaluate the theoretical basis that underpins the use of competitions and competitive learning activities in school-based enterprise education. We believe that our findings and subsequent recommendations will provide those who promote and practice the use of competitions with a richer, more sophisticated picture of the potential flaws within such activities.Peer reviewedFinal Published versio

Physics, Topology, Logic and Computation: A Rosetta Stone

In physics, Feynman diagrams are used to reason about quantum processes. In the 1980s, it became clear that underlying these diagrams is a powerful analogy between quantum physics and topology: namely, a linear operator behaves very much like a "cobordism". Similar diagrams can be used to reason about logic, where they represent proofs, and computation, where they represent programs. With the rise of interest in quantum cryptography and quantum computation, it became clear that there is extensive network of analogies between physics, topology, logic and computation. In this expository paper, we make some of these analogies precise using the concept of "closed symmetric monoidal category". We assume no prior knowledge of category theory, proof theory or computer science.Comment: 73 pages, 8 encapsulated postscript figure